Словарь по логике - контрапозиции закон
Связанные словари
Контрапозиции закон
общее название для ряда логических законов, позволяющих с помощью отрицания менять местами основание и следствие (антецедент и консеквент) условного высказывания.
Один из этих законов, называемый иногда законом простой контрапозиции, звучит так: если первое влечет второе, то отрицание второго влечет отрицание первого. Напр.: "Если верно, что число, делящееся на шесть, делится на три, то верно, что число, не делящееся на три, не делится также на шесть".
С использованием символики логической (р, q некоторые высказывания; -> импликация, "если, то"; ~ отрицание "неверно, что") данный закон представляется формулой:
(p->q)->(~q->~р),
если дело обстоит так, что если р, то q, то если не-q, то не-р. Другой К. з.:
(~p->~q)->(q->p).
если верно, что если не-р, то не-q, то если q, то р. Напр.: "Если верно, что рукопись, не оцененная рецензентом положительно, не публикуется, то верно, что публикуемая рукопись оценивается рецензентом положительно".
Еще два К. з.:
(p->~q)->(q->~p),
если дело обстоит так, что если р, то не-q, то если q, то не-р. Напр.: "Если квадрат не является треугольником, то треугольник не квадрат";
(~p->q)->(~q->p), если верно, что если не-р, то q, то если не-q, то р. Напр.: "Если не
являющееся очевидным сомнительно, то не являющееся сомнительным очевидно".
Закон сложной контрапозиции представляется формулой (&
конъюнкция, "и"):
(p&q->r)->(p&~r->~q),
если дело обстоит так, что если р и q, то r, то если р и не-r, то не-q. Напр.: "Если верно, что монотонная и ограниченная последовательность сходится, то монотонная и не сходящаяся последовательность неограниченна".
См. в других словарях
Вопрос-ответ:
Похожие слова
Самые популярные термины
1 | 1495 | |
2 | 1307 | |
3 | 1163 | |
4 | 1008 | |
5 | 765 | |
6 | 710 | |
7 | 681 | |
8 | 677 | |
9 | 654 | |
10 | 652 | |
11 | 613 | |
12 | 611 | |
13 | 572 | |
14 | 571 | |
15 | 560 | |
16 | 558 | |
17 | 553 | |
18 | 538 | |
19 | 535 | |
20 | 521 |